programme correctness proof - Fransızca İngilizce Sözlük